Another look at security definitions

Cloud manufacturing system

Cloud manufacturing is defined as a relationship between the consumer and a flexible array of production services, managed by an intervening architecture that can match service providers to product and manufacturing processes Cloud manufacturing definitions typically make explicit or imply three groups of actors: consumers, who request and use cloud manufacturing processes; application provider...

Subtleties in Security Definitions for Predicate Encryption with Public Index

We take a critical look at established security definitions for predicate encryption (PE) with public index under chosen-plaintext attack (CPA) and under chosen-ciphertext attack (CCA). In contrast to conventional public-key encryption (PKE), security definitions for PE have to deal with user collusion which is modeled by an additional key generation oracle. We identify three different formaliz...

Another Look at Anonymous Communication - Security and Modular Constructions

Anonymous communication is desirable for personal, financial, and political reasons. Despite the abundance of frameworks and constructions, the anonymity definitions are usually either not well-defined or too complicated to use. In between two extremes are ad-hoc definitions, but they only work for specific protocols and sometimes only provide weakened anonymity guarantees. It is fair to say th...

Another Look at PMAC

We can view an existing Message Authentication Code (MAC) as a Carter-Wegman MAC in spite of the fact it may not have been designed as one. This will make the analysis easier than it has been when considered from other viewpoints. In this paper, we can look PMAC with two keys as a Carter-Wegman MAC and get a simple security proof for it. Using this viewpoint to look at PMAC, we will learn not o...

A study on the definitions of religion from another view